Search : algorithme qui choisirait nos axiomes